graph theory:semi-cycle